Semantics of MML Query
نویسندگان
چکیده
منابع مشابه
Semantics of MML Query - Ordering
In this paper X denotes a set, R, R1, R2 denote binary relations, x, y, z denote sets, and n, m, k denote natural numbers. Let us consider a binary relation R on X. Now we state the propositions: (1) fieldR ⊆ X. (2) If x, y ∈ R, then x, y ∈ X. Now we state the propositions: (3) Let us consider sets X, Y . Then (idX)Y = X ∩ Y . (4) 〈x, y〉 ∈ R |2 X if and only if x, y ∈ X and 〈x, y〉 ∈ R. (5) dom(...
متن کاملAn Action Semantics for MML
This paper describes an action semantics for UML based on the Meta-Modelling Language (MML) a precise meta-modelling language designed for developing families of UML languages. Actions are defined as computational procedures with side-effects. The action semantics are described in the MML style, with model, instance and semantic packages. Different actions are described as specializations of th...
متن کاملInformation Retrieval and Rendering with MML Query
Mizar, a proof-checking system, is used to build the Mizar Mathematical Library (MML). MML Query is a semantics-based tool for searching, browsing and presentation of the evolving MML content. The tool is becoming widely used as an aid for Mizar authors and plays an essential role in the ongoing reorganization of MML. We present new features of MML Query implemented in the third release and des...
متن کاملThe semantics of query modification
We present a method that exploits ‘linked data’ to determine semantic relations between consecutive user queries. Our method maps queries onto concepts in linked data and searches the linked data graph for direct or indirect relations between the concepts. By comparing relations between large numbers of user queries, we identify semantic modification patterns. The application of this method to ...
متن کاملSemantics-driven Approximate Query Answering
Abstract. Several database application areas need to deal with graphmodeled datasets. The main features of these datasets are the largeness and the heterogeneity of the data, which make it impractical to answer exact queries. In this paper we present our recent research efforts in modeling flexible query answering capabilities in this context. Flexibility is captured by approximations both on t...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formalized Mathematics
سال: 2012
ISSN: 1898-9934,1426-2630
DOI: 10.2478/v10037-012-0017-x